关于最远点判定及直径的唯一性

给出了点到有界集最远点的一些必要或充分条件，然后对直径的唯一性也给出了一些判定条件。     

Putting it all together – Formal verification of the VAMP

In the verified architecture microprocessor (VAMP) project we have designed, functionally verified, and synthesized a processor with full DLX instruction set, delayed branch, Tomasulo scheduler, maskable nested precise interrupts, pipelined fully IEEE compatible dual precision floating point unit with variable latency, and separate instruction and data caches. The verification has been carried out in the theorem proving system PVS. The processor has been implemented on a Xilinx FPGA. A shorter version of this article with the title “Instantiating uninterpreted functional units and memory system: functional verification of the VAMP” appeared in [8]. The work reported here was done while all the authors were with Saarland University.     

提高曲面近似展开精度的方法与实现

通过对不可展曲面近似展开精度的研究，提出了根据曲面曲率的大小对曲面自动进行网格划分，通过对综合展开误差数据场进行数据拟合来选取最优展开基点，基于空间曲面与其展开图间近似的等距变换关系进行展开样形的误差矫正等3种方法，这几种方法的实现在不同程度上有效地减小了曲面的近似展开误差，提高了曲面的近似展开精度。     

黄河下游稳定主槽之节点整治

稳定主槽是当前黄河下游河道治理的关键。窄深河槽具有很强的泄洪能力与输沙能力,是主槽整治追求的目标。黄河下游均是顺直微弯河道,河道水流最基本的主导机理是沿着阻力最小的方向流动,走直路、走近路,主槽整治设计流路应以顺直为上策。当前有必要对微弯整治方案进行再认识,实现对其否定之否定的提高。控制性弯道整治、对口丁坝整治、节点整治都属于双岸整治的范畴,对双岸整治的方向应予肯定。今后的整治应从微弯整治向节点整治发展,逐步过渡到以节点整治为主,最终达到稳定河势流路、高效排洪输沙之目的。     

Polymer-Modified Bitumen Using Ethylene Terpolymers

Polymer modified bitumen (PMB) is used in various construction applications, especially in motorways. The aim of this study is to improve features of 60/70 penetration grade, modified bitumen used on highways. Increasing the sensitivity to temperature and oxidation resistance are very important points for the modified bitumen. This condition was provided by reacting the carboxylic acid groups in asphaltene with the reactive ethylene terpolymer to form ester. Reactive ethylene terpolymer (RETP) and ethylene terpolymer (ETP) manufactured by DuPont USA were used as additives in this study. Infrared Spectrophotometer (IR) graphics and optical pictures of the modified bitumen have been examined. It has been observed that the softening point has increased on the other hand, the penetration and ductility values have decreased according to the test results.     

微型构造表征技术在八面河油田的应用

通过对八面河油田井网密集区及井网稀疏的欠开发区的微构造研究,探讨了微构造表征技术。首先在储层多层次逐级对比的基础上,建立主力油层对比关系;密集井网条件下,则利用钻井资料编制油层顶底微型构造图;对于欠开发地区,通过人机联作自动追踪成图技术,输出2m等值线间隔构造图,建立微构造模型。以微构造模型为基础进行潜力评价,部署关键井寻找优质储量或进行开发动态调整。应用该项技术在八面河油田滚动发现了角15块等断鼻翼部局部高点,增加石油地质储量488×10~4t。     

复合内衬在燃油加热炉中的应用

对导热油加热炉炉壁温度升高的原因进行了分析,介绍了新型复合内衬的特点,并对其技术特点、施工工艺及应用效果进行了简单阐述。     

Rheology in Processing of in Situ Composites of Polypropylene and Low Melting Poing Metals

The low melting point metallic tin powder or alloy of tin and lead was blended with polypropy-lene. A kind of in situ composite has been prepared. The variations of torque were studied when the composites were mixed in Haake torque rheogeniometer. By way of capillary extrusion, effects upon rheology of the in situ com-posites of the low melting point metals (LMPM) and coupling agent for their different variety and content, were investigated. From flow curves, the results indicate that in situ composites mixed with the LMPM are a kind of pseudoplastic fluid. If the LMPM were melted, the higher the content of the LMPM , the lower apparent viscosity of composites. Meanwhile, when the coupling agent is added into composites, the viscosity of composite will go up first and drop then. This shows that the LMPM have a promoter flow action on the polypropylene.     

激光微焊接质量的模糊识别技术研究

讨论了激光微焊点焊接质量的模糊识别的概念，数学模型及其应用方法，并介绍了系统的硬件组成。     

High-temperature,high-pressure thermophysical measurements on liquid zinc

Wire-shaped zinc samples were resistively volume heated as part of a fast-capacitor discharge circuit. Time-resolved measurements with submicrosecond resolution of the current through the specimen, the voltage drop across it, and the thermal expansion of the specimen as a function of time allow determination of the enthalpy, electrical resistivity, and density at different temperatures up to superheated liquid states of zinc far above the normal boiling point. High static pressures, up to 3800 bar of the ambient medium water, were used. An estimate of the critical pressure for zinc is given by investigations of the stability of the sample with a framing CCD camera, taking pictures of different samples varying the ambient static pressure. The critical volume and the critical temperature are obtained by means of an extrapolation of measured data at different pressures.Paper presented at the Fourth International Workshop on Subsecond Thermophysics, June 27–29, 1995, Köln, Germany.